Object-Oriented Type Systems

Expressive Type Systems for Object-Oriented Languages

of the Dissertation Expressive Type Systems for Object-Oriented Languages

DIF8901 Object-Oriented Systems

1. Abstract This essay presents two object based techniques whose interrelations are hotly debated on various forums on the world wide web. The first is the common object orientation approach, and the other is frame based, knowledge based systems. There are so many similarities between the two, that many people view them as the same. Today we have object extensions to " AI languages " that can ...

Refactoring Object-Oriented Systems

Refactoring of information systems is hard, for two reasons. On the one hand, large databases exist which have to be adjusted. On the other hand, many programs access that data. These programs all have to be migrated in a consistent manner such that their semantics does not change. It cannot be relied upon, however, that no running processes exist during such a migration. Consequently, a refact...

The Development of Type Systems for Object - Oriented

This paper, which is partly tutorial in nature, summarizes some basic research goals in the study and development of typed object-oriented programming languages. These include both immediate repairs to problems with existing languages and the long-term development of more exible and expressive, yet type-safe, approaches to program organization and design. The technical part of the paper is a su...

On Type Systems for Object-Oriented Database Programming Languages